|
Henry A. Kautz (born 1956) is a computer scientist, Founding Director of (Institute for Data Science ) and Professor at University of Rochester. He is interested in knowledge representation, artificial intelligence, data science and pervasive computing.〔(Henry A Kautz homepage on Rochester )〕 ==Biography== Kautz was born in 1956 in Youngstown, Ohio. Kautz entered the Case Institute of Technology in 1974, then a year later, transferred to Cornell University and got his B.A. in English and in mathematics with highest honors in 1978 there. He wrote plays during a one-year fellowship to writing program at Johns Hopkins University and got an M.A. by the Writing Seminars in 1980. As a foreign student supported by the Connaught Fellowship, he enrolled at University of Toronto in 1980. Kautz completed his master thesis ''A First-Order Dynamic Logic for Planning'' under the supervision of C. Raymond Perrault, and then received his M.S. in computer science in 1982. Before receiving his Ph.D. from University of Rochester in 1987 he was a teaching assistant for Patrick Hayes (Fall of 1983), a teaching assistant (Spring of 1984) and a research assistant (1982–1983) for his thesis advisor James F. Allen. His PhD Thesis titled ''(A Formal Theory of Plan Recognition )'' (1987).〔(Henry Kautz CV in Thesis, May 1987 )〕〔(Henry Kautz CV at University of Washington April 2000 )〕 Kautz was a professor of Computer Science at University of Washington (2000-2006) after worked at AT&T Bell Labs and AT&T Laboratories. He is now Professor at University of Rochester and Founding Director of Institute for Data Science after worked as a director of Intelligent Systems at Kodak Research Laboratories (2006-2007).〔(Henry Kautz CV, January 2015 )〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Henry Kautz」の詳細全文を読む スポンサード リンク
|